Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
151	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor
152	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
153	417 Doc. Math. J. DMV Calabi-Yau Threefolds of Quasi-Product Type Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-13 07:29:17 Algebraic geometry Geometry Abstract algebra Algebraic surfaces Algebraic varieties String theory Complex manifolds K3 surface Abelian variety Algebraic curve Projective variety Elliptic surface
154	Journal of Web Engineering, Vol. 0, No–000 c Rinton Press The Static Absorbing Model for the Weba Add to Reading List Source URL: terrierteam.dcs.gla.ac.uk Language: English - Date: 2010-03-05 12:05:34 Markov models Probability theory Probability Statistics Markov chain PageRank Bayesian network Random walk Stochastic matrix Matrix Automatic summarization Discrete phase-type distribution
155	Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo Talk presented at the 25 years Simula 67 Anniversary Conferences, NordwijkerhoutJune 1992 and Oslo 22 June. Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Subroutines Data types Recursion Type theory Programming idioms Fold ALGOL 68 Subtyping Record Generator
156	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
157	a rodin plug-in for constructing reusable schematic lemmas P. Stankaitis, A. Iliasov, D. Adjepon-Yamoah, A. Romanovsky May 23, 2016 Newcastle University Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-25 03:54:35 Software Frama-C Type theory
158	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol
159	79 Documenta Math. A Lambda-Graph System for the Dyck Shift and Its K-Groups Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-09-02 16:53:41 Algebra Mathematics Linear algebra Matrix theory Combinatorics on words Symbolic dynamics Markov processes Subshift of finite type Jordan normal form Eigenvalues and eigenvectors Shift space Vertex operator algebra
160	Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computing Computer programming Type theory Data types Functional languages Procedural programming languages Cross-platform software Type inference Scala Covariance and contravariance Type system

UPDATE